/* SPDX-FileCopyrightText: 2024 Google LLC */
/* SPDX-License-Identifier: Apache-2.0 */

#pragma once

void vPortEnterCritical(void) {}
void vPortExitCritical(void) {}
void sys_psleep(int millis) {}